T:Type, pl, tm:(TTT). SqStable(BiLinear(T;pl;tm)) 

latex

Up	gen algebra 1
Definitions of Statement	BiLinear(T;pl;tm)
Definitions	x. t(x), t  T, , x f y, P & Q, BiLinear(T;pl;tm), x:A. B(x), x(s), P  Q
Lemmas	sq stable equal, sq stable and, sq stable all